λ(x : _) → x
